退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于语言的信息流安全
Andrei Sabelfeld; Andrew C. Myers;
机译:信息流控制通过用于期货的活动对象语言的安全包装
机译:复杂系统的信息流安全性的正式端到端验证。
机译:通过协议组成的信息流控制的游戏理论方法
机译:使用基于脚本的超级管理程序增强安全性
机译:为基于通用中间语言的程序提供安全性的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。